Re-Entrant (Ablaufinvariant) Ein Programm, dessen Coding sich während des Laufs nicht verändert, bezeichnet man als Re-Entrant oder ablaufinvariant. Ein Re-Entrant Programm kann an einer beliebigen Stelle unterbrochen und von einer anderen Task benutzt werden. Voraussetzung dafür ist die Trennung von Befehlsteil und Datenbereich.